backtracking in prolog with code